منابع مشابه
Checked coverage: an indicator for oracle quality
A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In this paper, we introduce the concept of checked coverage—the dynamic slice of covered statements that actually influence an oracle. Our experiments on seven open-source projects show that checked coverage is a sure indicat...
متن کاملQuality Metrics: Test Coverage Analysis for Smalltalk
The growth in the use of object technology has led to a corresponding requirement for improved quality in object-oriented (O-O) software. If the holy grail of software re-use is to be achievable then there has to be a large degree of confidence in the component building blocks. With the possibility of a single O-O component being used in many software systems the need for greater confidence in ...
متن کاملAssessing Requirements Quality Through Requirements Coverage
In model-based development, the development effort is centered around a formal description of the proposed software system—the “model”. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BioScience
سال: 1996
ISSN: 0006-3568,1525-3244
DOI: 10.2307/1312644